\documentclass[a4paper]{article}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{amssymb}
\usepackage{stmaryrd}
\usepackage{MnSymbol}
\usepackage{graphicx}
\usepackage{anysize}

% Custum paragraph indenting
\parskip = 0.1in
\parindent = 0.0in

% Our environments
\newtheorem{theorem}{Theorem} 
\newtheorem{definition}[theorem]{Definition}
\newtheorem{lemma}[theorem]{Lemma} 

% Our operators
\renewcommand{\wp}{\powerset}
\renewcommand{\ll}{\llbracket}
\newcommand{\rr}{\rrbracket}
\renewcommand{\phi}{\varphi}
\newcommand{\sleq}{\sqsubseteq}
\newcommand{\sgeq}{\sqsupseteq}
\newcommand{\gillies}{\Rrightarrow}
\newcommand{\blitz}{\lightning}

\title{Gillies' Conditional}
\author{Daan Staudt \\ dstaudt@science.uva.nl \and
Matthew Wampler-Doty \\ negacthulhu@gmail.com}

\begin{document}
  \maketitle

  \begin{center}
    \includegraphics[width=0.5\textwidth]{illclogo.pdf}
  \end{center}
  
  \input{1intro.tex}
  \input{2prelim.tex}
  \input{3comp.tex}
  \input{4conc.tex}
  \bibliographystyle{alpha}
  \bibliography{paper}
\end{document}
